Nuprl Definition : spread3
13,42
postcript
pdf
let
x
,
y
,
z
=
a
in
t
(
x
;
y
;
z
) == let
x
,
zz
=
a
in let
y
,
z
=
zz
in
t
(
x
;
y
;
z
)
latex
Up
core
2
,
core
2
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
spread3
origin